Resultaten visas 1 - 10 / 15451
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År

Restricted Branching in Clause Learning DPLL

Referentgranskad
Järvisalo, Matti
-2007

Limitations of Restricted Branching in Clause Learning

Referentgranskad
Järvisalo, Matti; Junttila, Tommi
SPRINGER2007

Limitations of Restricted Branching in Clause Learning

Referentgranskad
Järvisalo, Matti; Junttila, Tommi
Constraints2009

Impact of Restricted Branching on Clause Learning SAT Solving

Järvisalo, Matti
-2007

The effect of structural branching on the efficiency of clause learning SAT solving

Referentgranskad
Järvisalo, Matti
Italian Association for Artificial Intelligence (AI*IA)2007

The Effect of Structural Branching on the Efficiency of Clause Learning SAT Solving An Experimental Study

Referentgranskad
DOI
10.1016/j.jalgor.2008.02.005
Järvisalo, Matti; Niemelä, Ilkka
JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC2008

Conflict-Driven XOR-Clause Learning

Referentgranskad
DOI
10.1007/978-3-642-31612-8_29
Laitinen, Tero; Junttila, Tommi; Niemelä, Ilkka
Lecture Notes in Computer Science2012

Clause Redundancy and Preprocessing in Maximum Satisfiability

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-031-10769-6_6
Ihalainen, Hannes Edvard; Berg, Jeremias; Järvisalo, Matti
Lecture Notes in Computer Science2022

Extending Clause Learning DPLL with Parity Reasoning

Referentgranskad
DOI
10.3233/978-1-60750-606-5-21
Laitinen, Tero; Junttila, Tommi A.; Niemelä, Ilkka
Frontiers in Artificial Intelligence and Applications2010

Clause

Öppen tillgång
DOI
10.17605/OSF.IO/KCE4B
Thompson, Sandra A.; Couper-Kuhlen, Elizabeth
International Society for Conversation Analysis (ISCA)2023

Restricted Branching in Clause Learning DPLL

Referentgranskad
2007

Limitations of Restricted Branching in Clause Learning

Referentgranskad
2007

Limitations of Restricted Branching in Clause Learning

Referentgranskad
2009

Impact of Restricted Branching on Clause Learning SAT Solving

2007

The effect of structural branching on the efficiency of clause learning SAT solving

Referentgranskad
2007

The Effect of Structural Branching on the Efficiency of Clause Learning SAT Solving An Experimental Study

Referentgranskad
DOI
10.1016/j.jalgor.2008.02.005
2008

Conflict-Driven XOR-Clause Learning

Referentgranskad
DOI
10.1007/978-3-642-31612-8_29
2012

Clause Redundancy and Preprocessing in Maximum Satisfiability

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-031-10769-6_6
2022

Extending Clause Learning DPLL with Parity Reasoning

Referentgranskad
DOI
10.3233/978-1-60750-606-5-21
2010

Clause

Öppen tillgång
DOI
10.17605/OSF.IO/KCE4B
2023